Towards efficient verification of systems with dynamic process creation

Modelling and analysis of dynamic multi-threaded state systems often encounters obstacles when one wants to use automated verification methods, such as model checking. Our aim in this paper is to develop a technical device for coping with one such obstacle, namely that caused by dynamic process creation. We first introduce a general class of coloured Petri nets-not tied to any particular syntax or approach-allowing one to capture systems with dynamic (and concurrent) process creation as well as capable of manipulating data. Following this, we introduce the central notion of our method which is a marking equivalence that can be efficiently computed and then used, for instance, to aggregate markings in a reachability graph. In some situations, such an aggregation may produce a finite representation of an infinite state system which still allows one to establish the relevant behavioural properties. We show feasibility of the method on an example and provide initial experimental results

Inorganic–organic nanocomposites of CdSe nanocrystals surface-modified with oligo- and poly(fluorene) moieties

We report a facile grafting-from strategy towards the synthesis of inorganic–organic composites of semiconductor nanocrystals and wide-bandgap polymers. Amino-functional fluorenes have been used as co-ligands for CdSe nanocrystals, thus enabling us to design their surface directly during the synthesis. Highly monodisperse, strongly emitting CdSe nanocrystals have been obtained. Subsequently, a straightforward Yamamoto C–C coupling protocol was used to carry out surface polymerisation, hence modifying CdSe nanocrystals with oligo- and poly(fluorene) moieties. Both amino-fluorene capped CdSe nanocrystals and the resulting nanocrystal–polymer composites were characterized in detail by optical and FT-IR spectroscopy, TEM, AFM, and gel permeation chromatography, showing their potential as novel functional inorganic–organic hybrid materials

Ambient and substrate energy influence decomposer diversity differentially across trophic levels.

The species-energy hypothesis predicts increasing biodiversity with increasing energy in ecosystems. Proxies for energy availability are often grouped into ambient energy (i.e., solar radiation) and substrate energy (i.e., non-structural carbohydrates or nutritional content). The relative importance of substrate energy is thought to decrease with increasing trophic level from primary consumers to predators, with reciprocal effects of ambient energy. Yet, empirical tests are lacking. We compiled data on 332,557 deadwood-inhabiting beetles of 901 species reared from wood of 49 tree species across Europe. Using host-phylogeny-controlled models, we show that the relative importance of substrate energy versus ambient energy decreases with increasing trophic levels: the diversity of zoophagous and mycetophagous beetles was determined by ambient energy, while non-structural carbohydrate content in woody tissues determined that of xylophagous beetles. Our study thus overall supports the species-energy hypothesis and specifies that the relative importance of ambient temperature increases with increasing trophic level with opposite effects for substrate energy

Adjuvant hyperthermic intraperitoneal chemotherapy (HIPEC) in patients with colon cancer at high risk of peritoneal carcinomatosis; the COLOPEC randomized multicentre trial

Background: The peritoneum is the second most common site of recurrence in colorectal cancer. Early detection of peritoneal carcinomatosis (PC) by imaging is difficult. Patients eventually presenting with clinically apparent PC have a poor prognosis. Median survival is only about five months if untreated and the benefit of palliative systemic chemotherapy is limited. Only a quarter of patients are eligible for curative treatment, consisting of cytoreductive surgery and hyperthermic intraperitoneal chemotherapy (CR/HIPEC). However, the effectiveness depends highly on the extent of disease and the treatment is associated with a considerable complication rate. These clinical problems underline the need for effective adjuvant therapy in high-risk patients to minimize the risk of outgrowth of peritoneal micro metastases. Adjuvant hyperthermic intraperitoneal chemotherapy (HIPEC) seems to be suitable for this purpose. Without the need for cytoreductive surgery, adjuvant HIPEC can be performed with a low complication rate and short hospital stay. Methods/Design: The aim of this study is to determine the effectiveness of adjuvant HIPEC in preventing the development of PC in patients with colon cancer at high risk of peritoneal recurrence. This study will be performed in the nine Dutch HIPEC centres, starting in April 2015. Eligible for inclusion are patients who underwent curative resection for T4 or intra-abdominally perforated cM0 stage colon cancer. After resection of the primary tumour, 176 patients will be randomized to adjuvant HIPEC followed by routine adjuvant systemic chemotherapy in the experimental arm, or to systemic chemotherapy only in the control arm. Adjuvant HIPEC will be performed simultaneously or shortly after the primary resection. Oxaliplatin will be used as chemotherapeutic agent, for 30 min at 42-43 degrees C. Just before HIPEC, 5-fluorouracil and leucovorin will be administered intravenously. Primary endpoint is peritoneal disease-free survival at 18 months. Diagnostic laparoscopy will be performed routinely after 18 months postoperatively in both arms of the study in patients without evidence of disease based on routine follow-up using CT imaging and CEA. Discussion: Adjuvant HIPEC is assumed to reduce the expected 25 % absolute risk of PC in patients with T4 or perforated colon cancer to a risk of 10 %. This reduction is likely to translate into a prolonged overall survival

Prevalence, associated factors and outcomes of pressure injuries in adult intensive care unit patients: the DecubICUs study

Funder: European Society of Intensive Care Medicine; doi: http://dx.doi.org/10.13039/501100013347Funder: Flemish Society for Critical Care NursesAbstract: Purpose: Intensive care unit (ICU) patients are particularly susceptible to developing pressure injuries. Epidemiologic data is however unavailable. We aimed to provide an international picture of the extent of pressure injuries and factors associated with ICU-acquired pressure injuries in adult ICU patients. Methods: International 1-day point-prevalence study; follow-up for outcome assessment until hospital discharge (maximum 12 weeks). Factors associated with ICU-acquired pressure injury and hospital mortality were assessed by generalised linear mixed-effects regression analysis. Results: Data from 13,254 patients in 1117 ICUs (90 countries) revealed 6747 pressure injuries; 3997 (59.2%) were ICU-acquired. Overall prevalence was 26.6% (95% confidence interval [CI] 25.9–27.3). ICU-acquired prevalence was 16.2% (95% CI 15.6–16.8). Sacrum (37%) and heels (19.5%) were most affected. Factors independently associated with ICU-acquired pressure injuries were older age, male sex, being underweight, emergency surgery, higher Simplified Acute Physiology Score II, Braden score 3 days, comorbidities (chronic obstructive pulmonary disease, immunodeficiency), organ support (renal replacement, mechanical ventilation on ICU admission), and being in a low or lower-middle income-economy. Gradually increasing associations with mortality were identified for increasing severity of pressure injury: stage I (odds ratio [OR] 1.5; 95% CI 1.2–1.8), stage II (OR 1.6; 95% CI 1.4–1.9), and stage III or worse (OR 2.8; 95% CI 2.3–3.3). Conclusion: Pressure injuries are common in adult ICU patients. ICU-acquired pressure injuries are associated with mainly intrinsic factors and mortality. Optimal care standards, increased awareness, appropriate resource allocation, and further research into optimal prevention are pivotal to tackle this important patient safety threat

Correction to: Prevalence, associated factors and outcomes of pressure injuries in adult intensive care unit patients: the DecubICUs study

The original version of this article unfortunately contained a mistake

Prevalence, associated factors and outcomes of pressure injuries in adult intensive care unit patients: the DecubICUs study

Funder: European Society of Intensive Care Medicine; doi: http://dx.doi.org/10.13039/501100013347Funder: Flemish Society for Critical Care NursesAbstract: Purpose: Intensive care unit (ICU) patients are particularly susceptible to developing pressure injuries. Epidemiologic data is however unavailable. We aimed to provide an international picture of the extent of pressure injuries and factors associated with ICU-acquired pressure injuries in adult ICU patients. Methods: International 1-day point-prevalence study; follow-up for outcome assessment until hospital discharge (maximum 12 weeks). Factors associated with ICU-acquired pressure injury and hospital mortality were assessed by generalised linear mixed-effects regression analysis. Results: Data from 13,254 patients in 1117 ICUs (90 countries) revealed 6747 pressure injuries; 3997 (59.2%) were ICU-acquired. Overall prevalence was 26.6% (95% confidence interval [CI] 25.9–27.3). ICU-acquired prevalence was 16.2% (95% CI 15.6–16.8). Sacrum (37%) and heels (19.5%) were most affected. Factors independently associated with ICU-acquired pressure injuries were older age, male sex, being underweight, emergency surgery, higher Simplified Acute Physiology Score II, Braden score 3 days, comorbidities (chronic obstructive pulmonary disease, immunodeficiency), organ support (renal replacement, mechanical ventilation on ICU admission), and being in a low or lower-middle income-economy. Gradually increasing associations with mortality were identified for increasing severity of pressure injury: stage I (odds ratio [OR] 1.5; 95% CI 1.2–1.8), stage II (OR 1.6; 95% CI 1.4–1.9), and stage III or worse (OR 2.8; 95% CI 2.3–3.3). Conclusion: Pressure injuries are common in adult ICU patients. ICU-acquired pressure injuries are associated with mainly intrinsic factors and mortality. Optimal care standards, increased awareness, appropriate resource allocation, and further research into optimal prevention are pivotal to tackle this important patient safety threat

Timed Processes of Interval-Timed Petri Nets

International audienceIn this paper we use partial order semantics to express the truly concurrent behaviour of interval-timed Petri nets (ITPNs) in their most general setting, i.e. with autoconcurrency and zero duration, as studied with its standard maximal step semantics in [8]. First we introduce the notion of timed processes for ITPNs inductively. Then we investigate if the equivalence of inductive and axiomatic process semantics true for classical Petri nets-could hold for ITPNs too. We will see that the notions of independence and immediate firing obligation seem to be antagonistic ones, and that local axioms, adequate to define processes of classical Petri nets, are not sufficient to caracterize timed Processes of IITPNs. We propose several original " global " axioms which reveal to be an effective solution. Thus we yield finally a full axiomatic definition of timed processes for ITPNs